#include "cpu/exec/helper.h"

make_helper(leave){
    reg_l(R_ESP) = reg_l(R_EBP);
    current_sreg = R_SS;
    reg_l(R_EBP) = swaddr_read(reg_l(R_ESP),4);
    reg_l(R_ESP) += 4;
    print_asm(str(leave));
    return 1;
}

